Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2

Source URL: www.cs.bham.ac.uk

• Logic in computer science
• Lambda calculus
• Process calculi
• Π-calculus
• Bisimulation
• Combinatory logic
• Fixed-point combinator
• Sheaf
• Theoretical computer science
• Applied mathematics
• Mathematics

BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics

BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: Intuitionistic Choice and Restricted Classical Logic Intuitionistic Choice and

Source URL: www.brics.dk

αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

Source URL: www.schemeworkshop.org

Enforcing User-defined Management Logic in Large Scale Systems Srinath Perera, Dennis Gannon Computer Science Department Indiana University, Bloomington IN 47405 {hperera, gannon}@cs.indiana.edu

Source URL: people.apache.org

BRICS Basic Research in Computer Science BRICS RSCurien et al.: Bistructures, Bidomains and Linear Logic Bistructures, Bidomains and Linear Logic

Source URL: www.brics.dk

COMPUTER SCIENCE TRIPOS Part IB – 2013 – Paper 6 5 Logic and Proof (LCP) (a) In the context of clause methods in theorem proving, define and discuss the concept of a pure literal.

Source URL: www.cl.cam.ac.uk

BRICS Basic Research in Computer Science BRICS LS-97-1 Chomicki & Toman: Temporal Logic in Information Systems Temporal Logic in Information Systems

Source URL: www.brics.dk

COMP 409 Logic in Computer Science Fall 2012 http://www.cs.rice.edu/˜vardi/comp409/ Background

Source URL: www.cs.rice.edu

BRICS Basic Research in Computer Science BRICS RS-97-9 Henriksen & Thiagarajan: A Product Version of Dynamic Linear Time Temporal Logic A Product Version of

Source URL: www.brics.dk